#include "file.h"

void stream_file(std::string& fname, File<A_174>& f);
